Two very small bugfixes