Fixed a couple of things in the proceedings