small bugfix, works