[#7] Fix whitespace.