Fix another one of those github from name cases