Fixing coverage set queries