Fixing issue with pointer typechecking.