fix PHP Warning: array_map(): Argument #2 should be an array in src/docopt.php on line 940