Fix pretty-printing on Chrome.