mod: mistakes in tomcat-cluster-howto page