Fixing the coverage implementation -- missing sort!