Add Michael Flaxman's full name to CREDITS.