fix help text wrt SERVER command (cherry picked from commit d33fd0c5da2287f5496a4a78940490f0c4466428)