Improve documentation slightly