Actual fix for #112