Slightly improve documentation