Dear Winnie:many thanks for bringing this up to my attention. The problem has been fixed I believe, i.e., I have observed thebehavior you reported and the right behavior after my modifications. (Had to closes all instances of my browser and open it again.)