0.3.1: bugfixes