More SmackRep simplifications.