a small bugfix for revi