Minor modif to DEV.ini.sample