notation fix