Fixed spurious warning.