// bug header