Make pretty_print work correctly.