Removed obsolete comments, added a prettyprinter test