small bugfix in