usermanual: fix for #10148