Thanks Rishhu. (This comment was lying in the spam folder. It was just a day ago that I discovered this spam folder, and there were a few genuine comments in there. I am not quite liking WP’s spam filtering process.)