Changed notation in the last part of second section