When merged with real dives, those would double count otherwise. Signed-off-by: Robert C. Helling <helling@atdotde.de>