Add encoding to the specs
Fix typo in the magic encoding line