Fix extra semicolon warning. NFC.