He's contributed a chunk of code (even if he doesn't know about it), so he should be listed as a contributor