Fix version number in header