prettyprinter does not crash anymore when there is no location info