Fixed a bug in the properties file.