Small fix for SMP