fix typo basic notation