Fix for a bug on github's side