fixes bug when pretty-printing an invocation
Merge pull request #22 from cc18/defaultPrettyPrinterTest

fixes bug when pretty-printing an invocation