doing stuff
fix bug in Cond dispatch