UI: Undo one Coverity fix.