Update CocoaSpec with a fix for some rare integration issues