Even so, the header was "Adobe Shockwave Player version 11.5.0.600".
Anyway, it's no big deal. I was just a bit perplexed about the "urgent
security update" that was published half a month ago. And since no
version number was given in the post, I had to go and check the details.