Improve example in lib getopts slightly