correct previous commit (bug 3840)