Minor fixes to the documentation