Fix handling strings started with "///"