diss: writing out the notation, small corrections