swap encode and decode in 7.3.12, close #517
unmarked errata for aa9b06e
Merge pull request #531 from mikeshulman/encodedecode

swap encode and decode in 7.3.12, close #517