a small bugfix