no-ticket: Fix galaxy tool id