Converting /* */ to ///