At first glance this seems reasonable but if you look at the history of the pull request, he clearly trivializes the issue and rejects it based upon it not being important enough.