fixes #37;