reproduced bug #112