fixed up some problems with github