More improvements to the documentation