Slightly improved documentation.