slight improvements in the documentation