Update forgotten header file.