Another minor fix for ctypes bindings