small bugfix for dumbest tomcat instance