potentially better DISCO UI fix by @landreev #1060