fix minor bug on tomcat