96 Civic EX

Recently had timing belt service done at Honda.

Replaced all drive belts.

I noticed the power steering belt was bent over on the edge.

Took it in, they said since my power steering pulley was bent (when running) it would rock back and forth, not shake. This caused the belt to come off a little on the edge?

Is this possible?

I had a belt on for years with the pulley like that for years and never had it shred.