Various small documentation fixes