ALL: Minor improvement for HTMLOutputTest.