Minor update in tomcat module