Add a missing assertion.