cosmetic updates to list_properties.php