Two minor fixes to docs