Minor fixes to "LOGIC" manual