Small objc code change to make analyzer happy