Add missing semicolon. Fixes #420