Minor edit.
Consistent naming of the proceedings.