Fetching diff

Fetching the patch from GitHub…