Add forgotten header file.