Fixed an overzealous warning