Tweak to display of version numbers in headers