Preserve spaces when pretty-printing OPTIONS pragmas. Fixes #140.