Add a missing header