Remove unnecessary pointers
Merge pull request #63 from fraenkel/removepointers

Remove unnecessary pointers
[finishes #64383928]