Slight changes to AUTHORS.