Revert "be more strict in checkRep"

This reverts commit 22803da42f4f8c6aeccc15d0a916bae6332a8652.