Kludge up a one-line fix to another GUI updating bug: