More reformatting for GitHub...