Fix error in edit COQ property.