A couple of fixes to docs