Slightly improve documentation.