Fix a mistake in the directory name for travis config