Correct the rewite cond