Bugfixes for 0.9.4