minor: fix bad ref in User Manual