Fix bug header