Documentation correction

Yes. Unfortunately we moderators do not have privileges to correct those things.