Correct the iOS7 specification