STYLE: Corrected comment in header