Correcting travis