You are right, I accidentally uploaded the same file twice. I'll just delete the second version, and upload the correct file instead.