minor tweaks to notation, etc.