Copy-paste error in XML comment