I'm not sure that a 3 line fairly trivial patch makes it necessary to include the entire license, but OK.