Correct some pointer recast