A small tweak for bug #8365.