Correcting travis CI