Little fixes to the docs