Version 0.4.2 -- fixes #83