Actually change citation key

Since the citation key includes the surname, it must include the correct
surname (so Peyton-Jones91..., not Jones91...).
Correct name for Peyton Jones