...and a few more doc changes.