Make whitespace-clean.