Small notational changes