Fix name on travis config