A small tweak to the properties class for bug #8088.