Removed spurious warning