Small fix regarding deleting pointers