Fix an error in xml document comment