Updated AutoCoding spec for version 1.3