fixes #101;