Workaround for presimplify bug in Chrome.

Fixes #192.