fixed a false warning for FalsePositive11