Small improvements in the documentation (more to come)