few modifications in the documentation