Replaced /// and ///< by //