fixing dump filtering problems after the switch to docopt