Fixed a mistake in the travis file.