ThomasHabets more minor documentation fixes