improvements in the docs