Improve documentation, continued