Fix issue in XML doc comments.