Some fixes to the documentation