Added missing parameters to KASSERTs