Fix for coq index table.