fix docopt options