Minor correction (bug 920180)