Merge branch 'release-0.3' into debian-release-0.3