specs/mop: remove pprint damage.