Tiny renaming fix to make code compile with clang.