Minor fix to CREDITS