Add a few more CHECKs.