Fix for a bug at Github's end