fix mistake in travis config