Renamed file name in top comment to .cc