Added a missing header.