Improving somewhat the documentation.