fix typo in prior discussion