workaround for asdoc bug