Minor fix to our property editor.