Fixed compilation error with previous commit.