Correcting the name of the Travis file