Removed a harmless, but dumb, double-semicolon.