fix typo in notation tabs