The name should have been added to the other CREDITS file