Thanks, you are generally right. The problem is that the page was brand new when I have accessed for the first time and as such my browser did not have any cached info. It was simply an initial error of their webmaster with respect to the links. Anyway, at this point, I cannot change anything. I...