Adding missing header file.