Add Paul to AUTHORS.