Oh, oh. That's probably due to my last post there.
I used a wrong symbol there. If I try to type it here, the preview post reports that there is an illegal code in my post. The symbol I mean is typed by shift and period (.). Looks like the head of an arrow pointing right. Don't know a better description.
Sorry.
