getopt.3: Minor tweak to James's patch