fixes #57.