Correct bad version number in the header