Fix whitespace in produced HTML