That's basically what I was thinking but I always like to look to be sure. It's been on the developer's list to look into, but I don't know what priority it has. They spend a fair amount of time addressing the latest security concerns and their plate is usually full. I'll add this to my suggestions I make on our weekly call.
While I won't advocate deleting any lines in a WP core file, I think you can ignore the issue to clear the warnings.
Thanks!
tim