GSoC guidelines: attempt to fix formatting