<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN""http://www.w3.org/TR/REC-html40/strict.dtd"><html><head><title>gnome-xml push mode bug</title></head><body><tableborder="4"><tr><tdbgcolor="white">
Foo1
<tableborder="4"><tr><td>Foo2<p></p><p></p></td></tr></table></td><tdbgcolor="blue">Foo3</td></tr></table></body></html>