Fixing high-level miscategorizations