Fix formatting by using the Github web editor