minor improvements in the documentation