Minor fixes to the semantic document