Fix spurious warning