[Phil21502]

So dumb question but tonight while mowing with my 127 the pto belt came off. What is the easiest way to reinstall it? I had to take the nut off the front off the mule drive that pulls the pulley towards the front and use a pry bar on the other pulley that is attached to the mule drive with the spring. Am I missing something easier? Thanks