Re: [galaxy-dev] [patch] unused tophat parameters