Small fix for Github Error