more asdoc fixes