And because of 1.3GB you put "Internet required" on front of the boxart? Or they were able to reduce the file size by 10GB? Doubt it.
If the patch is required to play the game then it could be 13kb and they would still put it on.
As I've said before, this is a port of a notoriously poorly-coded game 4 years after the fact from a team whose gotten a lot better at porting games. Being able to compress everything down to 7-9GB isn't exactly an impossibility, it just seems that way because blu-rays and mandatory installs have made compression a lost art. Skyrim came out on a single 7.5gb disc on the 360 and that had tons of voice, textures, etc.
That and it's not like boxarts haven't gone out with typos before. Remember Resident Evil: Revelaitons?
It might not be a typo, there may be another explanation, but now that I know how big the Xbox One and digital versions are the Switch version being 7gb+a 13gb download is becoming increasingly more far-fetched.