Merge "Remove duplicate names from CREDITS"