avoid an unnecessary innerHTML