Added a missing line in a header file.