Minor update to CREDITS file.