Minor formatting fix in coding_style.txt