pretty print body #3