more slight improvements to the documentation