fixing minor github formatting issues