If $\mathbb{P}$ is an infinite notion of forcing then there is $H\subset \mathbb{P}$ such that $M[H]$ is not a model of ZFC.

Question

I am trying to prove the following statement and i think i have reached a proof but i'm not sure, is my proof correct or have i missed something?

If $M$ is a countable transitive model of ZFC and $\mathbb{P} \in M$ is an infinite notion of forcing then there exists an $H \subset \mathbb{P}$ such that $M[H]$ is not a model of ZFC. Hint: Fix $f\in M$ such that $f$ maps $\omega \times \omega$ one-to-one into $\mathbb{P}$. Choose $H$ such that $f^{-1}(H)$ is a well-order of type $\alpha \gt o(M) = \text{Ord} \cap M$.

My proof: Fix $H$ as in the hint. Since we construct $M[H]$ using $\mathbb{P}$-names and we don't nessecarily need $H$ to be $\mathbb{P}$-generic over $M$ for the construction, we know that $M[H]$ is a transitive set and that $\text{Ord} \cap M = \text{Ord} \cap M[H]$. Now if we suppose $M[H]$ is a model of ZFC, since $H\in M[H]$ and $f \in M[H]$ then $f^{-1}(H) \in M[H]$ and it is a theorem of ZFC that every well-ordered set is isomorphic to a unique ordinal, so $f^{-1}(H) \cong \beta$ for some $\beta \in \text{Ord}^{M[H]}$. But looking from the outside we see that $\beta \cong \alpha$ for the $\alpha$ in the hint, so $\beta = \alpha$. Now since $\text{Ord} \cap M = \text{Ord} \cap M[H]$ we have $\alpha \in o(M)$ which is a contradiction.

Since this is my first exercise in forcing i am trying to be very careful, i would be very happy if you could point out any error, even small ones.

Thanks for your patience.