Fix incorrect Objective-C generation