Another attempt to fix github code formatting

Gash.
That's the proper pull request, which i won't merge on my own.