[galaxy-commits] commit/galaxy-central: greg: Fix a bug in the Galaxy tool shed I just introduced in my last commit.