fix abstract header