Minor touchups to docs