Updates for COQ