small bugfix for remembering $rep