fix docopt