CREDITS: updated