getting the defaults from docopt