small tweaks to notation