Fix warning when $ini_sets doesn't exist