Fixed compilation broken by #837efc54