Fix an incompatible pointer type warning