Added previously forgotten header file.