4.1.73: Minor UI bug