ghcjs: fix whitespace