Removing a spurious semicolon; NFC