To report after the trip: the misspelling did not cause problems. Out of three check-ins the first and last agents did not raise an eyebrow. And the second agent called somebody on the phone and discussed the misspelling, but did not question us about it.

Now, this is my personal experience, so please take it as such. The airline position is that tickets and document must match, it even says so in the in-flight magazine.