Add missing header