Docs corrections, per Patrick's review comments.