Assorted documentation changes