Small header bug fix.