Fix syntax in travis config.