Fixed bug in cond