Version 0.2.16: small bugfixes