Quote tidy in `getopt.js`.