tweaks for html indenting