Bugfix #12