Fix header name in Google Code style