no-ticket: Fix bug with galaxy top menu