Documentation fixes

Some documentation updates collected over the last two weeks.