minor development tweak for objc