Fixing documentation of ini file