Update to 1.4.2. Fixes issue #60.