The code introduced to convert the database values to PHP values introduced
a bug where the configuration would not be saved.