* kernel/Kernel.tex.nw: misc, found another bug also I think