Minor updates

Minor changes to notation