fixes mistake in travis config