two small bugfixes