A few fixes to the docs