Fix INI example