He actually had 1.4 BTC from other sources, but surely for such a small and important contribution he is rewarded decently.
This is one of those moments when you think... is it right to make over 60 bucks for 1 LOC? Is it right to make just a measly 60 bucks for giving EVERYONE 3% more money?