Port python Pull Request docopt/docopt#159