minor fixes to ios-driver