I would agree, but this is a third party library, so I think it makes sense to leave it as is, since it's not expected that anyone would be modifying this directly.  Updates can be applied by just replacing the file with a newer version.