Several fixes of bugs in pretty-printing code