fix a bug in asdoc