Fixes #53;