fixed typo for tomcat_managers default