Not strictly necessary, but it reduces memory usage a little, and the next commit will make copying an Info object slower.