Assorted documentation fixes