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