more correct use of options in docopt