Adding a missing semicolon

Per #424.