smaller bugfixes
Release: v0.7