Tiny trick that makes the bats run with less false positives

Tiny trick that makes the bats run with less false positives #3842