PRINCE: Revert incorrect const'ness at printAt()