Change some notation according to http://docopt.org/