add AUTHORS etc.