Documentation corrections following pull request review