fix a heading in CodingStyle.md