some small changes to docs