avoid bogus warning