BugFix. Fixes #12