how do I replace power steering belt on 2009 aveo5?

I replaced water pump and now trying to install the belt. The power steering belts seems to be to short. Both water pump and steering pump seem to have no adjustment. should the power steering pump be loosened? One power steering bolt is really hard to get at.

Removal & Installation

1. Before servicing the vehicle, refer to the precautions section.
   
2. Remove the engine front shield at the position of right front wheel.
   
3. Rotate the tensioner star-nut and remove the accessory belt.
   

To install:

1. Rotate the tensioner star-nut and install the accessory belt.
   
2. Install the engine front shield at the position of right front wheel.

Power Steering Belt 1.6L—LXV Engine

1. Before servicing the vehicle, refer to the precautions section.
   
2. Remove the engine accessory drive belt.
   
3. Remove the RH headlamp assembly.
   
4. Remove the air cleaner assembly.
   
5. Place a long bar in the opening between engine and pump drive belt. This will provide a guide function for the drive belt removal.
   
6. Using the bar push the drive belt into the opposite side of engine.
   
7. Rotate the pulley using³/₈ inch hex bit socket in the power steering pump pulley shaft hole.
   
8. Rotate the power steering pump pulley clockwise while pushing the drive belt until the belt is fully removed from the pulley.

To install:

1. Route the power steering pump drive belt.
   
2. Align the drive belt on the water pump pulley first.
   
3. Position one of the three pulley holes on top point.
   
4. Through the pulley hole tie the driver belt to the pump pulley using a cable tie. This will provide a guide function for the drive belt installation.
   
5. Rotate the pulley using³/₈ inch hex bit socket in the power steering pump pulley shaft hole.
   
6. Rotate the power steering pump pulley clockwise until the belt is fully installed on the pulley.
   
7. Remove the rope or cable tie.
   
8. Inspect for correct belt installation.
   
9. Install the air cleaner assembly.
   
10. Install the RH headlamp assembly.
    
11. Install the engine accessory belt.

This seems to be coming from a service manual. Which one you did you get?