release 0.9.4.1
Merge branch 'release/0.9.4.1' into develop (fixes #20)