Add a missing then.