[CRT] Remove second semicolon. Spotted by Michael Fritscher. CORE-10390