Comment (minor header format fix).