add missing semicolon after ASSERT()