Fix for COQ error