My bad. My previous bug can be closed. I don't know how to respond to my
own mail :)