Textual improvements in semantics