Cleaned up PrettyPrinter->renderException() a little