minor User Manual tweak