Fix aterm doc typos.
Fix aterm doc typos.

mrocklin/blaze,xlhtc007/blaze,jcrist/blaze,mrocklin/blaze,mwiebe/blaze,caseyclements/blaze,aterrel/blaze,AbhiAgarwal/blaze,mwiebe/blaze,markflorisson/blaze-core,dwillmer/blaze,mwiebe/blaze,FrancescAlted/blaze,alexmojaki/blaze,dwillmer/blaze,alexmojaki/blaze,nkhuyu/blaze,FrancescAlted/blaze,ContinuumIO/blaze,maxalbert/blaze,markflorisson/blaze-core,cpcloud/blaze,FrancescAlted/blaze,cpcloud/blaze,aterrel/blaze,caseyclements/blaze,markflorisson/blaze-core,mwiebe/blaze,LiaoPan/blaze,scls19fr/blaze,xlhtc007/blaze,ChinaQuants/blaze,aterrel/blaze,LiaoPan/blaze,AbhiAgarwal/blaze,markflorisson/blaze-core,cowlicks/blaze,cowlicks/blaze,ChinaQuants/blaze,jdmcbr/blaze,jdmcbr/blaze,AbhiAgarwal/blaze,scls19fr/blaze,jcrist/blaze,nkhuyu/blaze,AbhiAgarwal/blaze,maxalbert/blaze,FrancescAlted/blaze,ContinuumIO/blaze