Small documentation fixes