correct pointer type, filences warning