Improve documentation for v4; fix one typo in a comment