Fixing bug #3493.

Coq now accepts the [Universes u1 ... un] syntax.