some little changes to docs