Small fix in getopt and in version string