Fix docopt conversion mistakes