Fix #725
Merge pull request #726 from purescript/725

Fix #725
v0.6.1.2
Merge branch 'master' of github.com:purescript/purescript