Minor edit to AUTHORS