Fixed direct link to reudd on Travis and pretty print.