fix undefined header