Remove redundant package in Ubuntu build instructions
Tweak pretty-printing