cut&paste typo in the userdoc

Signed-off-by: Luca Clementi <luca.clementi@gmail.com>
Reported-by: Bart Brashers