fixes #35: bug fixes