A few fixes to the documentation