Minor fixes to explanatory text