Alias \ldots to \dots. Fixes #7.