Fix misformatted assembly code