Small documentation adaptation.