finish previous changes of notation