Minor fix to XML documentation