fix for #445