Make generated dot graphs nicer