Uhh... this was a long-standing bug on my part, and it took until this morning for me to realize it was there. Sorry. I will upload a new kernel in about 1/2 hour. Bruce