Tweaking this KASSERT.