little XML documentation fixes