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

Fix #725