Thanks for reporting it to them. I also reported it.
I've been trying to change random, meaningless things in the code to see if we can get around the false-positive, but so far no luck.
It's not great timing, because we were hoping to mail to all our users in a couple days.