Fixup bug 942377