Minor bugfix in the Github Service