Reformat so it looks nice in GitHub web interface