Fixed compilation error for release mode