small changes to docs