Fix — Tivo Mini Restarts Randomly