v3.1: bugfixes