added a few kasserts