Final fixes to the printDSL.