correct a problem in remove, discovered in newly generated tests