fixes #11