minor changes to notation