Nicer output with <pre>