Fixup for correcting getopt option