COQ updates