Some little HTML editions