[galaxy-dev] [hg] galaxy 2402: Fix bug reported by Gunnar Raetsch wherein a t...