Made proof corrections