notation fix

because of anonymous scope