Another small change for bug #7337