Fix debug html pages after #1326