Adding touches to asdoc.