header file updates were missed before