Thank you!

On Thu, Sep 9, 2021 at 8:07 PM Paul Eggert <eggert@cs.ucla.edu> wrote:

Thanks for reporting that. Fixed as per attached.