small bugfix?