Update for COQ property index