Minor pointer type fix