Make these look less ugly on GitHub
Merge branch 'docs'