Fix compilation error due to a rename.