Fixed a cffi warning