mailmap: I used the incorrect realname in one place