Fix compilation issue resulting from the previous commit