change htmltestcase to make the test happy (but i don't know WHY exactly)