No problem.
Could they just be preparing the VIN code for the model X which we know will have 4wd? I know the pdf says Model S, but there is no Model X yet. At least not a production Model X.
I have no idea on the legality, but could Tesla add a model to the VIN decoder and add option for X on...