That file only needs one header.