[galaxy-commits] galaxy-dist commit 1f70816084ae: Fix bug in 48ec25db21c3