Finished conversion to docopt