Utility: add missing header.