Doc cleanups

A few minor things that should help. Let me know if you see anything that is amiss.