Minor fixes to documentation