Fixed bug in do_cond