small update on Tomcat Doc