Thanks for your input Pothi. I was finally able to clear the message by restarting apache.
Rickey
Thanks for your suggestions.
Logging out and logging in did not change anything.
I then ran version.php on all three of my WordPress sites and they all reported the following:
$wp_version = ‘3.8.1’;
So at this point I must assume that it is a bug in WordPress.
Rickey
OK, I finally figured it out; one just needs to remember not forget the trailing semicolon.
