Fix compilation issue related to previous commit.