We better change it in the other C++ bindings then...