another small bugfix