Fix docopt string