small notational changes