fixed typos in semantics