tweaks to docs and making sure Tomcat gets a version number