Fix tiny typo in Tomcat DL URL