docopt should guarantee this (`[default: :8082]`)

Did you hit a different case? It would be a bug in github.com/docopt/docopt-go