Correcting Travis-cs config