Slightly updated documentation.