Fixes for asdoc.