Some missed renaming from an earlier change to the names of the
character encoding properties in 'bladerunner.conf'.