michael@0: michael@0: michael@0: michael@0: Test for bugs 807728 and 810426 michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: