Bug fixes to binding extensions