double dot → ellipsis

minor spelling.