fix bug in amf3 specifications.