prettyprinting fix for Ctor.Primary with non-trivial mods