make formatting github-friendly