fix docopt version