reverts a mistake in prettyprinting Defn.Def