Small adjustments in notations