tools/table: fixed incorrect typing of red3