Minor tweak to ini_file