Assorted minor documentation fixes