Merge pull request #633 from rgeary1/NestedPhonyPrintsDone