Fixed spurious warning