fix for bug report #112