Minor naming fixup.