fix version number in header