Documentation: unbreak user-manual.