Fixed compilation error

previous commit introduced a compilation error