Readme fix and prettyprinter fix