It appears that comments that include an "@" and are then deleted are still appearing in the tagged person's inbox.