[html] remove an useless div [folded]