Try to fix wrong positive reports

Signed-off-by: Andreas Pieber <anpieber@gmail.com>