slightly improve documentation