Fix pointer casting

Change-Id: I813168cbaa99d421886fc27be34efdfd7d97e0d4