Update the comments for Ini.php