usermanual: fix for #9978