Fix an issue with Github