Fixed error in semantics.json