Improved toString of universes