objc: minor fix