History: fix whitespace