a minor UI bug