minor fix to ASM doc