Small improvements of the documentation