fixes #1