Fixed spaces in semantics tables, and some minor grammar