[galaxy-commits] galaxy-dist commit 74620fac33c7: bug fix caused by the prev commit.