add a missing notation scope