I think the title was changed correctly, I tried to follow HN's guideline of having the same headline as the source, but this is more accurate.
That's the point, the policy is to retain the original title, no matter how nonsensical. And here the original title was perfectly correct and concise.