a bunch of iterative refinements to make the corexy2 print well