Fix compilation error introduced in previous commit.