fix docopt syntax