Small fix to correct whitespace processing in HTML mode