The documentation has been improved.