Re: [galaxy-dev] Possible bug in dynamic options