  We show that in the $\mathbb{P}_{\max}$ extension of a certain Chang-type
model of determinacy, if $\kappa\in\{\omega_1, \omega_2, \omega_3\}$, then the
restriction of the club filter on $\kappa\cap\mathrm{Cof}(\omega)$ to HOD is an
ultrafilter in HOD. This answers Question 4.11 of [BNH23] raised by Ben-Neria
and Hayut.
