Added a missing header file