Update to the latest docopt (the upcoming v0.7.0)