him again, do we just want to put him in the AUTHORS file?