minor fix for tomcat