Re: [galaxy-dev] typo in galaxy-dist/tool_conf.xml?