AUTHORS: Add some names.