fix documentation error on jetty port