minor notational changes