Fix one Unicode holdout in properties file.