Fix compilation error introduced in last commit.