Notational changes and minor reparaphrases