Fix an incompatible pointer warning