fixes #9