Minor change in notations