bugfix undefined header