Minor changes in a bunch of docs