fixes #3