Yeah, I actually noticed that myself, but the download seemed to be fine, so I didn't try to re-upload the file just to fix that. Thanks for letting me know, though, it's good to have confirmation. The size is detected automatically by the site when I upload something, I wonder what caused the error.