Fix compilation error in obj-c code