fix SMP checks