Fix bug 2715, bad pointer