cosmetic fix: version number in file headers