bug fix in header comment