terminally minor UI fix