Minor documentation fix.
Rollbacked the previous change (6a4b2e3710b) around the main part.