Turns out this is a false positive anyway