reverts a mistake in prettyprinting Defn.Def

/cc @densh