Fix typo in XML comment example