Fix Aaron --> Lessig notify with Unicode kludge