Weirdness about XLSX file format