fix missing headers