Apologies for that, I submitted this and did actually go looking for the HN title guidelines, which seemed to say use the original title. I'll try to be a little braver with title editing in future.
So anyway, no, you did the only thing you could do. Anything else would have been degraded to the current information value by mods anyway.
We've changed it to what the article says it is about in the second sentence.