make pretty print work