Fixed a missing header.