Fix pretty printing on Travis