Remove daft KASSERT.
Cosmetic changes.
Replace the magic numbers with something more readable.