Re-indenting some content for better rendering on Github