Minor fix Travis-ci config file