Fixing a bug in the resource pointer