fixes #7