oops, small bugfix