Fix compilation issue introduced in previous commit.