@ -1232,7 +1232,9 @@ function initsnippets()
function indexheader(content)
{
var indexedheader = {};
var indexedheader = {
tags: []
};
var hat = headerandtext(content);
var header = hat.header;
if (header)