Minor improvements in XML documentation