fix missing header