Semantics document fixes