Fix the pointer theory bug