Fix a typo in tomcat.undeploy_old_versions