JANITORIAL: fix whitespaces