Replace the phrase in bold in the following sentence to make the sentence grammatically correct. If the sentence is correct, mark 'No correction required' as the answer. (Ignore the errors of punctuations, if any).
Varun was on cloud nine after having stood first in his class.
No correction required
Idiom on cloud nine means: extremely happy.