Use docopt