Further documentation fixes