Fix an error in ASMCore