Update CODING_STYLE.txt