Fix spurious warning.