minor change to solve a tomcat issue