That's good news.

I still think he probably changed the spring, but it does not matter how he did it. A $30 trigger job, and done quickly!