You are, of course, quite correct that the page <title> is correct. I was misled, as my browser was showing the title of my bookmark, which was 42.1 at the time that I bookmarked it. How embarrassing! I will definitely consult the page source in similar situations in future. Thanks (and sorry to waste your time)!