Yes, both files are clean, it’s a false alarm. It should be repaired in the next virus database update. Thank you for notice and URL.