small bugfix for previous commit