webidl binder tweaks