XML comment added for the RevealRandomDigit.