Fix spurious warning in release mode