Correcting travis ci syntax?