fixing docopt issue