Modify documentation comments to triple slash instead of double slash