Docopt refinements