Fixup bug 938437