AUTHORS: Add a name.