fix bugs in check-evaluate-table