I filed a United States provisional patent for my invention 6 days back.
Today I discovered that a algorithm I use in the invention has its name trademarked and I have in error mentioned that name in the application.
Since a provisional patent cannot be amended, should I correct this and refile it losing 6-7 days of priority when I file the non-provisional?