A small fix for bug #7785