Little modifications in the documentation