Bugfix. Fixes #11