Fix compilation error from last commit.