Thank you. Your comment does answer my question so I appreciate that. Perhaps the reason that I had difficulty accepting this part of the proof originally was that I had focused on a different definition of a modular representation which is not immediately compatible with Jacobians; I could not see how my definition could fit in with the theorem.