correct a bug in faup bindings