Fixing semantics