Small fixes to htmlprinters