Correcting Travic CI config