Merge "Correct a wrong doc tag"