Fix another place where we want to do pointer addition.