Fix syntax mistake in travis config