Minor improvements in the documentation