Fix ia merge docopt issue