fix notation levels