PHM: Added missing header