Fixed compilation error introduced in the previous commit...