Fix this and that
kassert