Work-around crash when printing bindings