Fix #682.
Merge pull request #683 from purescript/682

Fix #682.