Various documentation fixes