Fixed compilation error introduced in 7d46a677dfc