Special case for displaying Type : Type 1
...because people get the wrong impression about universes otherwise!