Update of version 1.3: Improved documentation.