Properly use "///" for property comments