Slight improvement in the documentation.