Small fix for last commit (bug 850173)