It's not a typo. Linux's desktop share is growing, according to the US government's records.

To note, this is the share of Linux computers visiting US goverment’s web sites. In India, for example, the share is already higher.