corrected the docopt stuff