Enclose \ldots with {}

Fixes #5787, change made directly from within Github. Haven't run the test suite.