some improvements to the documentation