On Hofmann-Streicher Universes