Output correct theme name and id in HTML comment