Documentation: update header filename in CodingStyle