Fix integer=pointer warning