fix incorrect pointer type