Quieting a false-positive which was causing the sanitizer bots to go red.