very small bugfixes