silly mistake in travis config