"Fix" indentation glitch in h3