A small bugfix