fixing bug in tau crosscheck