fix a tiny issue with assertion in kernel