Workaround for presimplify bug in Chrome.

Fixes #192.
Tweak comment slightly.
Merge branch 'fix-presimplify-chrome'