Do not pretty print things in 3rd_party