Fixed a missing semicolon. Fixes jQuery bug #3927.