Some problems with github formatting