Bugfixes, fixes #15.