Add a missing header. (maybe)